rec\_ind($A$;$x$,$y$.$B$($x$;$y$)) \textbf{is Primitive}